“Who can do something, do what they can”

Awards and Competitions. What They Can Do and How They Can Do It

What groups do, can do, and know they can do: an analysis in normal modal logics

We investigate a series of logics that allow to reason about agents’ actions, abilities, and their knowledge about actions and abilities. These logics include Pauly’s Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of ‘seeing-to-it-that’ (STIT), and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without...

Can we do something in early life to reduce the risk of obesity?

Obesity usually results from a combination of several modifiable and non-modifiable contributing factors, such as genetics, race, and socioeconomic status. Other factors, including birth by cesarean section, perinatal antibiotics usage, and promotion of exclusive breastfeeding for six months, could be potentially prevented or modulated. However, one of the factors can be easily implemented thro...

Mechanosensitive channels: what can they do and how do they do it?

While mechanobiological processes employ diverse mechanisms, at their heart are force-induced perturbations in the structure and dynamics of molecules capable of triggering subsequent events. Among the best characterized force-sensing systems are bacterial mechanosensitive channels. These channels reflect an intimate coupling of protein conformation with the mechanics of the surrounding membran...

What are artificial neural networks and what they can do?

The artificial neural networks (ANN) are very often applied in many areas of toxicology for the solving of complex problems, such as the prediction of chemical compound properties and quantitative structure-activity relationship. The aim of this contribution is to give the basic knowledge about conception of ANN, theirs division and finally, the typical application of ANN will be discussed. Due...